home *** CD-ROM | disk | FTP | other *** search
/ NetNews Offline 2 / NetNews Offline Volume 2.iso / news / comp / std / c++ / 408 < prev    next >
Encoding:
Text File  |  1996-08-06  |  2.3 KB  |  74 lines
  1. Path: chronicle.mti.sgi.com!austern
  2. From: Ian T Zimmerman <itz@rahul.net>
  3. Newsgroups: comp.std.c++
  4. Subject: Re: Correctness of compilers behavior
  5. Date: 20 Feb 1996 10:42:51 PST
  6. Organization: -
  7. Approved: austern@isolde.mti.sgi.com
  8. Message-ID: <199602180416.UAA01735@kronstadt.rahul.net>
  9. References: <3122157A.2EB2@orbotech.co.il> <4g3i93$9lp@mulga.cs.mu.OZ.AU>
  10. NNTP-Posting-Host: isolde.mti.sgi.com
  11. X-Original-Date: Sat, 17 Feb 1996 20:16:45 -0800
  12. In-Reply-To: fjh@munta.cs.mu.OZ.AU's message of 18 Feb 1996 02:14:25 GMT
  13. X-Auth: PGPMoose V1.1 PGP comp.std.c++
  14.     iQBVAwUBMSoWOEy4NqrwXLNJAQE7sgH+NVfdt7WC1BcIQLoPWa8sulrXIImqs1SJ
  15.     sf5XF42ZrkayRxvjqPZwDtU/U2hwS3GSWZL9R2ma6cg8WdLIJn1IRg==
  16.     =kqze
  17. Originator: austern@isolde.mti.sgi.com
  18.  
  19. In article <4g3i93$9lp@mulga.cs.mu.OZ.AU> fjh@munta.cs.mu.OZ.AU
  20. (Fergus Henderson) writes:
  21.  
  22. > 
  23. > "Constantine Antonovich:" <const@Orbotech.Co.IL> writes:
  24. > 
  25. > 
  26. > >  for (unsigned i=0; i<size; ++i) {
  27. > >    (bptr+i)->~B();
  28. > >    new(aptr+i) A;
  29. > >  }
  30. > >
  31.  
  32. > >int main(void)
  33. > >{
  34. > >  A* arr=foo(2);
  35. > >  delete [] arr;
  36. > 
  37. > This has undefined behaviour.  It contravenes 5.3.5[expr.delete]/2, which
  38. > says that the expression passed to `delete []' must be a pointer to the
  39. > first element of an array of objects allocated with `new []'; this is not
  40. > the case, because although there once was such an array at that memory
  41. > location, its lifetime ended when the memory was overwritten by the calls
  42. > to placement new (see 3.8[basic.life]/1).
  43. > 
  44.  
  45. Is it relevant here that A and B are unrelated classes? What about the
  46. following code?
  47.  
  48. A a;
  49.  
  50. A* as = new A [10];
  51.  
  52. for (int i = 0; i < 10; ++i) {
  53.     new (&as[i]) A(a);
  54. }
  55. delete [] as;
  56.  
  57. If this is undefined, how else can I initialize array members with a
  58. nondefault constructor?
  59.  
  60. Thanks in advance,
  61.  
  62. -- 
  63. Ian T Zimmerman            +-------------------------------------------+
  64. P.O. Box 13445             I    With so many executioners available,   I
  65. Berkeley, California 94712 I suicide is a really foolish thing to do.  I
  66. USA  <itz@rahul.net>       +-------------------------------------------+
  67. ---
  68. [ To submit articles: Try just posting with your newsreader.  If that fails,
  69.                       use mailto:std-c++@ncar.ucar.edu
  70.   FAQ: http://reality.sgi.com/employees/austern_mti/std-c++/faq.html
  71.   Policy: http://reality.sgi.com/employees/austern_mti/std-c++/policy.html
  72.   Comments? mailto:std.c++-request@ncar.ucar.edu 
  73. ]
  74.